Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
411	P1: MVG/SFI P2: MVG LISP and Symbolic Computation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:00 Compiler construction Procedural programming languages Programming language implementation Functional languages Lisp programming language Compiler Partial evaluation Code generation Lisp Programming language theory Software engineering Computing
412	T W O D AY S T O A S H O R T S T O R Y c o u rs e a p p l i c at i o n f or m Please forward your application form to Faber Academy, PO Box 8500, St Leonards NSW 1590 or email . Name Address Add to Reading List Source URL: faberwritingacademy.com.au Language: English - Date: 2014-11-19 23:57:15 Software engineering Programming language theory Computing C Cross-platform software
413	E. Satterthwaite January 1968 CGTM # 39 B5500 Extended Algol to Algol W Translation 1. Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 17:16:22 Procedural programming languages ALGOL Pascal For loop MAD ALGO Fortran C ALGOL 60 Software engineering Computing Programming language theory
414	Characterization of the Windows Kernel version variability for accurate Memory analysis. Michael Cohen DFRWS 2015 Dublin. Add to Reading List Source URL: www.dfrws.org Language: English - Date: 2015-03-24 15:56:16 C programming language C++ Data types Type theory Typedef Struct C++ classes Enumerated type C Computing Computer programming Software engineering
415	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
416	Voiding a Code Ad-ID codes are created at www.ad-id.org. Once codes have been created, you can edit the code information at any time. A void feature is available in the editing area. 1. When you first sign in to your ac Add to Reading List Source URL: www.ad-id.org Language: English - Date: 2014-08-18 11:43:43 Procedural programming languages Data types Advertising Identifiers Universal identifiers Ad-ID C ALGOL 68 Void type Programming language theory Software engineering Computing
417	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
418	Forth 200x Standards Committee #7 Technische Universit¨ at Wien, Vienna, Austria. 21–23 September 2011 Agenda 1. Attendance Add to Reading List Source URL: www.forth200x.org Language: English - Date: 2013-09-12 12:28:37 PK machine gun Computing Programming language theory Software engineering Forth Buffer solution
419	Auto in Agda joint work with Pepijn Kokke ! IFIP WG 2.1 #71 Zeegse, the Netherlands Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Logic Functional languages Agda Deduction Prolog Soundness Mathematical proof IP Proof theory Programming language theory Software engineering
420	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science

UPDATE